- эквивалентность автоматов
- еквівале́нтність автома́тів
Русско-украинский политехнический словарь. 2013.
эквивалентность автоматов
Смотреть что такое "эквивалентность автоматов" в других словарях:
АВТОМАТОВ ЭКВИВАЛЕНТНОСТЬ — отношение эквивалентности на множестве автоматов, возникающее в связи с изучением тех или иных содержательных свойств автоматов. Обычно таким свойством является автоматов поведение, так что два автомата считаются эквивалентными, если они имеют… … Математическая энциклопедия
Автоматов теория — часть теоретической кибернетики (См. Кибернетика), объектом исследования которой являются различные преобразователи дискретной информации; возникла в начале 50 х гг. 20 в. в связи с требованиями практики проектирования вычислительных… … Большая советская энциклопедия
АВТОМАТОВ ГОМОМОРФИЗМ — отображение входного и выходного алфавитов, а также множества состояний одного автомата в аналогичные множества другого автомата, сохраняющее функции переходов и выходов. Более точно А. г. автомата в автомат (см. Автомат конечный) это отображение … Математическая энциклопедия
Эквивалентность детерминированных и недетерминированных конечных автоматов — Конечный автомат в теории алгоритмов математическая абстракция, позволяющая описывать пути изменения состояния объекта в зависимости от его текущего состояния и входных данных, при условии что общее возможное количество состояний конечно.… … Википедия
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
ПОЛИГОН — над моноидом R, R полигон, операнд, непустое множество с моноидом операторов. Точнее, непустое множество Аназ. левым П. над моноидом К, если для любых и определено произведение , причем и 1а=а для любых . Правый П. определяется аналогично.… … Математическая энциклопедия
Построение синтаксического анализатора на основе автоматного подхода — Построение синтаксического анализатора на основе автоматного подхода один из способов построения синтаксического анализатора, использующий представление анализируемого языка в виде конечного автомата. Содержание 1 Алгоритм синтаксического… … Википедия
Теорема Клини — Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают». Доказательство теоремы Клини Любой граф переходов конечного автомата всегда можно представить в нормализованной форме, в которой только одна начальная… … Википедия
КОМБИНАТОРНЫЙ АНАЛИЗ — комбинаторная математика, комбинаторика, раздел математики, посвященный решению задач выбора и расположения элементов нек рого, обычно конечного, множества в соответствии с заданными правилами. Каждое такое правило определяет способ построения… … Математическая энциклопедия
Недетерминированная машина Тьюринга — Машина Тьюринга Варианты машин Универсальная машина Тьюринга Квантовая машина Тьюринга en:Read only Turing machine en:Read only right moving Turing Machines Вероятностная машина Тьюринга Недетер … Википедия
ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ — управ ляющих систем преобразования, сохраняющие отношение эквивалентности (о. э.) управляющих систем (у. с.). Используются в задачах оптимизации, контроля, а также как средство характеризации (напр., аксиоматизации) определенных классов у. с.;… … Математическая энциклопедия
